<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"  
  "http://www.w3.org/TR/html4/loose.dtd">  
<html > 
<head><title></title> 
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> 
<meta name="generator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/mn.html)"> 
<meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/mn.html)"> 
<!-- html --> 
<meta name="src" content="piffle.tex"> 
<meta name="date" content="2007-05-26 23:19:00"> 
<link rel="stylesheet" type="text/css" href="piffle.css"> 
</head><body 
>
     <div class="footnote-text">
 <!--l. 128--><p class="indent">   <span class="footnote-mark"><a 
 id="fn1x5">
       <sup class="textsuperscript">1</sup></a></span><span 
class="cmr-10">Crary and Weirich. &#8220;Resource Bound Certification.&#8221; 27th </span><span 
class="cmcsc-10"><span 
class="small-caps">p</span><span 
class="small-caps">o</span><span 
class="small-caps">p</span><span 
class="small-caps">l</span></span><span 
class="cmr-10">, p.184.</span></div> 
</body></html> 
